تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۸۰ ثانیه یافت شد.

1. Verified Software: Theories, Tools and Experiments

پدیدآورنده : / Dimitra Giannakopoulou, Daniel Kroening

کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS

رده :

E-BOOK

»
1
«

This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them